Nishan Kamaleson (University of Birmingham) On-The-Fly Model Reduction Probabilistic model checking is a formal verification technique used to check the correctness of computerised systems exhibiting stochastic behaviour

Source URL: www.hieratic.eu

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace

Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson

Source URL: events.cs.bham.ac.uk

• Logic in computer science
• Formal methods
• Philosophical logic
• Metalogic
• Formal verification
• Theoretical computer science
• First-order logic
• Modal logic
• Logic
• Mathematical logic
• P versus NP problem
• Automated theorem proving

Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety  

Source URL: utc.ices.cmu.edu

• Formal systems
• Proof theory
• Logic in computer science
• Formal methods
• Theoretical computer science
• KeY
• Automated theorem proving
• Mathematical proof
• Formal verification
• Mathematical logic
• Modal logic
• Dynamic logic

Microsoft Word - LAW-Paper.doc

Source URL: fm.csl.sri.com

• Theoretical computer science
• Logic in computer science
• Formal methods
• Computer security
• ACL2
• Lisp
• Formal verification
• SPARK
• Domain-specific language
• Pointer
• Information security
• Programming language

The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Formal methods
• Logic in computer science
• Alt-Ergo
• Frama-C
• Theoretical computer science
• Coq
• Formal verification
• KeY
• IP

FastRelax meeting Deductive Formal Verification: an Average Example Sylvie Boldo

Source URL: fastrelax.gforge.inria.fr

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

HSVCHiSilicon Verification Conference 2014 February 19-20, 2014, Bantian, Longgang District,Shenzhen, P.R.China Call for Participation HiSilicon Technologies is calling for participants to join its 1st inte

Source URL: www.hisilicon.com

• Formal methods
• Electronic design automation
• Functional verification
• Post-silicon validation
• FPGA prototyping
• Logic simulation
• Formal verification

ExCAPE Annual Report of Activities April 2014 to MarchOverview

Source URL: excape.cis.upenn.edu

• Theoretical computer science
• Electronic engineering
• Digital electronics
• Music
• Electronic design automation
• Formal verification
• Logic in computer science
• High-level synthesis
• Robotics
• Domain-specific language
• Finite-state machine
• Model checking